Categorical Models and Quasigroup Homotopies
نویسنده
چکیده
As is pointed out in [Smith (1997)], in many applications of quasigroups isotopies and homotopies are more important than isomorphisms and homomorphisms. In this paper, the way homotopies may arise in the context of categorical quasigroup model theory is investigated. In this context, the algebraic structures are specified by diagram-based logics, such as sketches, and categories of models become functor categories. An idea, pioneered in [Gvaramiya & Plotkin (1992)], is used to give a construction of a model category naturally equivalent to the category of quasigroups with homotopies between them.
منابع مشابه
Quasigroup Homotopies, Semisymmetrization, and Reversible Automata
There have been two distinct approaches to quasigroup homotopies, through reversible automata or through semisymmetrization. In the current paper, these two approaches are correlated. Kernel relations of homotopies are characterized combinatorically, and shown to form a modular lattice. Nets or webs are exhibited as purely algebraic constructs, point sets of objects in the category of quasigrou...
متن کاملWeak Factorizations, Fractions and Homotopies
We show that the homotopy category can be assigned to any category equipped with a weak factorization system. A classical example of this construction is the stable category of modules. We discuss a connection with the open map approach to bisimulations proposed by Joyal, Nielsen and Winskel.
متن کاملOn the Infinity Category of Homotopy Leibniz Algebras
We discuss various concepts of ∞-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular ∞-n-homotopies appear as the n-simplices of the nerve of a complete Lie ∞-algebra. In the nilpotent case, this nerve is known to be a Kan complex [Get09]. We argue that there is a quasi-category of ∞-algebras and show that for truncated ∞-algebras, i.e. categorified ...
متن کاملDirected Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applicatio...
متن کاملHomotopies and Automorphisms of Crossed Modules of Groupoids
We give a detailed description of the structure of the actor 2-crossed module related to the automorphisms of a crossed module of groupoids. This generalises work of Brown and Gilbert for the case of crossed modules of groups, and part of this is needed for work on 2-dimensional holonomy to be developed elsewhere.
متن کامل